$\forall$$r$:Rng, $a$:$\mid$$r$$\mid$. ($a$ $\ast$ 1) = $a$ \& (1 $\ast$ $a$) = $a$